1,394 research outputs found
On the length of chains of proper subgroups covering a topological group
We prove that if an ultrafilter L is not coherent to a Q-point, then each
analytic non-sigma-bounded topological group G admits an increasing chain <G_a
: a of its proper subgroups such that: (i) U_{a in b(L)} G_a=G; and
For every sigma-bounded subgroup H of G there exists a such that H is a
subset of G_a. In case of the group Sym(w) of all permutations of w with the
topology inherited from w^w this improves upon earlier results of S. Thomas
On the Stability of Stochastic Parametrically Forced Equations with Rank One Forcing
We derive simplified formulas for analyzing the stability of stochastic
parametrically forced linear systems. This extends the results in [T. Blass and
L.A. Romero, SIAM J. Control Optim. 51(2):1099--1127, 2013] where, assuming the
stochastic excitation is small, the stability of such systems was computed
using a weighted sum of the extended power spectral density over the
eigenvalues of the unperturbed operator. In this paper, we show how to convert
this to a sum over the residues of the extended power spectral density. For
systems where the parametric forcing term is a rank one matrix, this leads to
an enormous simplification.Comment: 16 page
A Logic for Non-Deterministic Parallel Abstract State Machines
We develop a logic which enables reasoning about single steps of
non-deterministic parallel Abstract State Machines (ASMs). Our logic builds
upon the unifying logic introduced by Nanchen and St\"ark for reasoning about
hierarchical (parallel) ASMs. Our main contribution to this regard is the
handling of non-determinism (both bounded and unbounded) within the logical
formalism. Moreover, we do this without sacrificing the completeness of the
logic for statements about single steps of non-deterministic parallel ASMs,
such as invariants of rules, consistency conditions for rules, or step-by-step
equivalence of rules.Comment: arXiv admin note: substantial text overlap with arXiv:1602.0748
Flow organization and heat transfer in turbulent wall sheared thermal convection
We perform direct numerical simulations of wall sheared Rayleigh-B\'enard
(RB) convection for Rayleigh numbers up to , Prandtl number unity, and
wall shear Reynolds numbers up to . Using the Monin-Obukhov length
we identify three different flow states, a buoyancy dominated regime
(; with the thermal
boundary layer thickness), a transitional regime (; with the height of the domain), and a shear dominated
regime (). In the buoyancy dominated regime the flow
dynamics are similar to that of turbulent thermal convection. The transitional
regime is characterized by rolls that are increasingly elongated with
increasing shear. The flow in the shear dominated regime consists of very
large-scale meandering rolls, similar to the ones found in conventional Couette
flow. As a consequence of these different flow regimes, for fixed and with
increasing shear, the heat transfer first decreases, due to the breakup of the
thermal rolls, and then increases at the beginning of the shear dominated
regime. For the Nusselt number effectively scales as
, with while we find
in the buoyancy dominated regime. In the transitional regime the effective
scaling exponent is , but the temperature and velocity profiles
in this regime are not logarithmic yet, thus indicating transient dynamics and
not the ultimate regime of thermal convection
The ultrafilter number for singular cardinals
We prove the consistency of a singular cardinal with small value of
the ultrafilter number , and arbitrarily large value of .Comment: 8 page
Sub-unit cell layer-by-layer growth of Fe3O4, MgO, and Sr2RuO4 thin films
The use of oxide materials in oxide electronics requires their controlled
epitaxial growth. Recently, it was shown that Reflection High Energy Electron
Diffraction (RHEED) allows to monitor the growth of oxide thin films even at
high oxygen pressure. Here, we report the sub-unit cell molecular or block
layer growth of the oxide materials Sr2RuO4, MgO, and magnetite using Pulsed
Laser Deposition (PLD) from stoichiometric targets. Whereas for perovskites
such as SrTiO3 or doped LaMnO3 a single RHEED intensity oscillation is found to
correspond to the growth of a single unit cell, in materials where the unit
cell is composed of several molecular layers or blocks with identical
stoichiometry, a sub-unit cell molecular or block layer growth is established
resulting in several RHEED intensity oscillations during the growth of a single
unit-cell
Quasi-selective ultrafilters and asymptotic numerosities
We isolate a new class of ultrafilters on N, called “quasi-selective” because they are intermediate between selective ultrafilters and P-points. (Under the Continuum Hypothesis these three classes are distinct.) The existence of quasi-selective ultrafilters is equivalent to the existence of “asymptotic numerosities” for all sets of tuples A ⊆ N^k. Such numerosities are hypernatural numbers that generalize finite cardinalities to countable point sets. Most notably, they maintain the structure of ordered semiring, and, in a precise sense, they allow for a natural extension of asymptotic density to all sets of tuples of natural numbers
A General Framework for Sound and Complete Floyd-Hoare Logics
This paper presents an abstraction of Hoare logic to traced symmetric
monoidal categories, a very general framework for the theory of systems. Our
abstraction is based on a traced monoidal functor from an arbitrary traced
monoidal category into the category of pre-orders and monotone relations. We
give several examples of how our theory generalises usual Hoare logics (partial
correctness of while programs, partial correctness of pointer programs), and
provide some case studies on how it can be used to develop new Hoare logics
(run-time analysis of while programs and stream circuits).Comment: 27 page
- …